Näytetään tulokset 1 - 10 / 5033
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Generative Artificial Intelligence in Higher Education

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-55272-4_10
Romero, Margarida; Reyes, Jonathan; Kostakos, Panos
Palgrave Studies in Creativity and Culture2024 Julkaisujen tiedon ikoni

Artificial Intelligence in Healthcare: Directions of Standardization

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-83620-7_10
Alcini, Paolo ; Baird, Pat ; Williams, Peter ; Bhattacharyya, SB ; Cooper, Todd ; de la Cruz, Rich ;...
Intelligent Systems Reference Library2021 Julkaisujen tiedon ikoni

Ethical maintenance of artificial intelligence systems

Vertaisarvioitu
DOI
10.4337/9781839104398.00018
Düdder, Boris; Möslein, Florian; Stürtz, Norman; Westerlund, Magnus; V. Zicari, Roberto
Edward Elgar Publishing2021 Julkaisujen tiedon ikoni

Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2022.103697
Linsbichler, Thomas; Maratea, Marco; Niskanen, Andreas; Wallner, Johannes P.; Woltran, Stefan
Artificial Intelligence2022 Julkaisujen tiedon ikoni

An efficient algorithm for counting Markov equivalent DAGs

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2021.103648
Ganian, Robert; Hamm, Thekla; Talvitie, Topi
Artificial Intelligence2022 Julkaisujen tiedon ikoni

Acceptance in Incomplete Argumentation Frameworks

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2021.103470
Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg
Artificial Intelligence2021 Julkaisujen tiedon ikoni

SAT Competition 2020

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2021.103572
Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin
Artificial Intelligence2021 Julkaisujen tiedon ikoni

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2015.07.001
Berg, Jeremias; Järvisalo, Matti
Artificial Intelligence2017 Julkaisujen tiedon ikoni

Overview and Analysis of the SAT Challenge 2012 Solver Competition

Vertaisarvioitu
DOI
10.1016/j.artint.2015.01.002
Balint, Adrian; Belov, Anton; Järvisalo, Matti; Sinz, Carsten
Artificial Intelligence2015 Julkaisujen tiedon ikoni

Complexity-sensitive decision procedures for abstract argumentation

Vertaisarvioitu
DOI
10.1016/j.artint.2013.10.001
Dvorak, Wolfgang; Järvisalo, Matti; Wallner, Johannes Peter; Woltran, Stefan
Artificial Intelligence2014

Generative Artificial Intelligence in Higher Education

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-031-55272-4_10
2024

Artificial Intelligence in Healthcare: Directions of Standardization

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-83620-7_10
2021

Ethical maintenance of artificial intelligence systems

Vertaisarvioitu
DOI
10.4337/9781839104398.00018
2021

Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2022.103697
2022

An efficient algorithm for counting Markov equivalent DAGs

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2021.103648
2022

Acceptance in Incomplete Argumentation Frameworks

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2021.103470
2021

SAT Competition 2020

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2021.103572
2021

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.artint.2015.07.001
2017

Overview and Analysis of the SAT Challenge 2012 Solver Competition

Vertaisarvioitu
DOI
10.1016/j.artint.2015.01.002
2015

Complexity-sensitive decision procedures for abstract argumentation

Vertaisarvioitu
DOI
10.1016/j.artint.2013.10.001
2014